退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用aaDL验证,模拟和实施aRINC653系统
Julien Delange; Laurent Pautet; Telecom Paristech; Alain Plantec; Mickael Kerboeuf; Frank Singhoff; Fabrice Kordon;
机译:使用AADL验证,模拟和实现ARINC653系统
机译:模拟相对论电子和托卡马克等离子件的非线性相互作用:流体模型的实现与验证
机译:两种验证系统中极性有机化学综合采样器的比较评价模拟峰集中事件的验证系统
机译:实施集成的图书馆系统:实施手册的研究,开发和验证。
机译:模拟呼吸运动和血液灌注的离体绵羊肝脏模型用于验证图像引导的HIFU系统
机译:结合SysML和AADL以设计,验证和实施关键系统
机译:计算机实现的程序,用于提供用于跟踪侧复杂性和自动驱动系统功能的验证的数据结构,这种数据结构,用于验证自动驱动系统的功能,计算机程序以提供这样的数据结构和计算机的计算机 - 可读媒体
机译:验证变体调用的计算机实现方法和验证变体调用的系统
机译:用于模拟阴影的系统和方法,以及利用用于模拟阴影的程序的计算机实现方法存储的存储介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。